مسأله بهینه سازی
مسأله بهینه سازی پیوسته
شکل استاندارد مسأله بهینه سازی (پیوسته) به صورت زیر است:
به طوری که:
- تابع مورد نظر ماست که می خواهیم بر روی کمینه شود.
- محدودیت نابرابری نامیده می شود و
- محدودیت تساوی نامیده می شود.
طبق قرارداد، شکل استاندارد، یک مسأله به حداقل رساندن را توصیف می کند. یک مسأله به حداکثر رساندن می تواند با منفی کردن تابع هدف به دست آید.
مسأله بهینه سازی ترکیبی
به طور رسمی یک بهینه سازی ترکیبی A یک چهارتایی است به طوری که:
- مجموعه نمونه هاست.
- برای یک نمونه داده شده، مجموعه راه حل های امکان پذیر است.
- برای یک مورد داده شده و راه حل ممکن برای ، اندازه را مشخص می کند که معمولاً یک عدد حقیقی مثبت است.
- g هدف تابع است که یا برابر کمینه و یا بیشینه است.
هدف این است که برای یک نمونه ، یک راه حل بهینه پیدا کنیم که یک راه حل ممکن است با این شرط که
برای هر مسأله بهینه سازی ترکیبی، یک مسأله تصمیم متناظر وجود دارد که می پرسد ببیند آیا یک راه حل ممکن برای مقدار خاص وجود دارد یا نه. به عنوان مثال یک گراف وجود دارد که شامل رئوس و یک مسأله بهینه سازی ممکن است «یافتن یک مسیر از به که از کمترین یال ها بگذرد» باشد. این مسأله ممکن است یک جواب مثلاً 4 داشته باشد. یک مسأله تصمیم متناظر این خواهد بود که «آیا یک مسیر از به با استفاده از 10 یال یا کمتر وجود دارد؟» این مسأله با یک «بله» یا «خیر» ساده جواب داده می شود. در زمینه الگوریتم های تخمین، الگوریتم ها برای مسائل سخت برای یافتن راه حل های نزدیک بهینه طراحی می شوند. بنابراین یک نسخه معمول تصمیم، یک توصیف ناکافی از مسأله است زیرا فقط راه حل های قابل قبول را مشخص می کند. اگرچه می توانیم مسائل تصمیم مناسبی مطرح کنیم، این مسائل دیگر بیشتر به طور طبیعی، یک مسأله بهینه سازی می شوند.
مسأله بهینه سازی NP
یک مسأله بهینه سازی NP یا به طور مخفف NPO یک مسأله بهینه سازی ترکیبی است با شرایط اضافی زیر. توجه داشته باشید که چند جمله ای های اشاره شده در زیر، توابعی با سایز متناسب با ورودی های تابع هستند، نه مجموعه ای مطلق از نمونه ورودی ها.
- سایز هر راه حل ممکن به طور چند جمله ای محدود به سایز نمونه داده شده است.
- زبان های و می توانند در زمان چند جمله ای مشخص شوند و
- m در زمان چندجمله ای قابل محاسبه است.
این دلالت بر این دارد که مسأله تصمیم متناظر، یک NP است. در علوم کامپیوتر، معمولاً مسائل بهینه سازی جالب توجه، ویژگی های بالا را دارند و بنابراین مسائل NPO هستند. یک مسأله به علاوه یک مسأله بهینه سازی نوع P یا PO خوانده می شود اگر الگوریتمی وجود داشته باشد که در زمان چندجمله ای راه حل بهینه را پیدا کند. معمولاً هنگام کار کردن با دسته NPO، مسائل بهینه سازی جالبی وجود دارد که نسخه های تصمیم، NP-سخت هستند. توجه داشته باشید که روابط سختی، همواره در تناسب با ساده سازی هستند. به علت ارتباط بین الگوریتم های تخمین و مسائل محاسباتی بهینه سازی، مسائل بهینه سازی با نسخه های تصمیم NP-تکمیل لزوماً NPO-تکمیل نامیده نمی شوند. NPOPB یک دسته دیگر است؛ NPO با تابع هزینه محدود به چندجمله ای. مسائلی با این شرایط، ویژگی های مطلوب زیادی دارند.